Blar i HVL Open på forfatter "König, Harald"

Viser treff 1-7 av 7

    • Comprehensive systems: a formal foundation for multi-model consistency management 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2021)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot ...

    • Formalization and Analysis of BPMN Using Graph Transformation Systems 

      Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2023)
      The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ...

    • Multi-Model Evolution through Model Repair 

      Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve (Journal article; Peer reviewed, 2021)
      Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ...

    • Single pushout rewriting in comprehensive systems of graph-like structures 

      Stünkel, Patrick; König, Harald (Peer reviewed; Journal article, 2021)
      The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. SPO's applicability depends on the durability of pushouts after ...

    • Structural Operational Semantics for Heterogeneously Typed Coalgebras 

      König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Peer reviewed; Journal article, 2023)
      Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these ...

    • Towards multiple model synchronization with comprehensive systems 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ...

    • The Visual Debugger Tool 

      Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2022)
      Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate ...